TSTP Solution File: GEO379^1 by SInE---0.4